Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
381	Constraint Programming and Combinatorial Optimisation in Numberjack Emmanuel Hebrard, Eoin O’Mahony, Barry O’Sullivan LAAS-CNRS Cork Constraint Computation Centre, University College Cork This work was supported by S Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 03:03:39 Mathematical optimization Golomb ruler Constraint Combinatorial optimization Applied mathematics Constraint satisfaction Constraint programming Computing Mathematics
382	Journal of Artificial Intelligence Research–442 Submitted 07/08; publishedSolving #S AT and Bayesian Inference with Backtracking Search Fahiem Bacchus Add to Reading List Source URL: jair.org Language: English - Date: 2009-03-28 16:44:23 Mathematics Backtracking DPLL algorithm Bayesian network Tree decomposition Constraint optimization Algorithm Decomposition method Local consistency Constraint programming Declarative programming Graph theory
383	The Design of E SSENCE: A Constraint Language for Specifying Combinatorial Problems Alan M. Frisch1 Matthew Grum1 Bernadette Mart´ınez Hern´andez1 1 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-04-29 12:08:04 Computer programming Constraint satisfaction Constraint logic programming ECLiPSe Type system Data type Mathematical optimization Function Decomposition method Constraint programming Declarative programming Software engineering
384	The Complexity of Global Constraints Christian Bessiere Emmanuel Hebrard and Brahim Hnich and Toby Walsh∗ LIRMM Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:27 Computer programming Local consistency Constraint satisfaction Constraint logic programming Co-NP-complete NP-complete Decomposition method Complexity of constraint satisfaction Constraint programming Software engineering Theoretical computer science
385	Automatically Generating Algebra Problems Rohit Singh∗ Sumit Gulwani Sriram Rajamani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-24 02:24:40 Software engineering Constraint satisfaction problem Backtracking Function FO Mathematical optimization Decomposition method Local consistency Constraint programming Mathematics Theoretical computer science
386	Closing the Open Shop: Contradicting Conventional Wisdom Diarmuid Grimes1 , Emmanuel Hebrard1 , and Arnaud Malapert2 1 Cork Constraint Computation Centre & University College Cork, Ireland Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Applied mathematics Computer programming Mathematical optimization Heuristics Job shop scheduling Constraint satisfaction A* search algorithm Search algorithm Heuristic function Operations research Constraint programming Software engineering
387	Babelsberg: Specifying and Solving Constraints on Object Behavior Tim Felgentreff, Alan Borning, Robert Hirschfeld Technische Berichte Nr. 81 Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:17 Computer programming Computing Declarative programming Constraint satisfaction University of Potsdam Constraint Constraint programming Software engineering Programming paradigms
388	Workshop on Reactive and Event-based Languages and Systems (REBLSCo-located with SPLASH, October 21, 2014, Portland, Oregon, USA Solving Interactive Logic Puzzles With Object-Constraints An Experience Report Using Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:20 Software engineering Constraint satisfaction Cassowary Sudoku Backtracking Kaleidoscope Satisfiability Modulo Theories Sudoku algorithms Mathematics of Sudoku Constraint programming Theoretical computer science Mathematics
389	Incremental Constraint-Posting Algorithms in Interleaved Planning and Scheduling Amanda Coles, Andrew Coles, Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2009-09-29 10:17:17 Operations research Constraint programming Convex optimization Linear programming Constraint satisfaction Shortest path problem Automated planning and scheduling Mathematical optimization Planning Domain Definition Language Mathematics Applied mathematics Theoretical computer science
390	Interval Analysis on Directed Acyclic Graphs for Global Optimization Hermann Schichl and Arnold Neumaier Institut f¨ ur Mathematik, Universit¨at Wien Strudlhofgasse 4, A-1090 Wien, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2003-12-05 12:03:46 Network flow Directed graph Local consistency Graph Flow network Multigraph Tree Boolean algebra Topological sorting Graph theory Constraint programming Directed acyclic graph

UPDATE